Proof, Computation and Agency: Logic at the Crossroads (Synthese Library)
by
ISBN 13: 9789400700796
Format: Hardcover (424 pages) Publisher: Springer Published: 07 Apr 2011
Save for later
Logic at the Crossroads (set): Games, Norms and Reasons: Logic at the Crossroads (Synthese Library)
ISBN 13: 9789400707139
Format: Hardcover (231 pages) Publisher: Springer Published: 01 Apr 2011